Undo part of previous change, in case it makes command line too long
authorGlenn Morris <rgm@gnu.org>
Sat, 19 May 2012 18:47:39 +0000 (11:47 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 19 May 2012 18:47:39 +0000 (11:47 -0700)
commit785c71f53980ca296df79b1a1b653e6e10af6d85
tree1d86221546d8d9245ff1259cda0b69a6675545f0
parentb661353200fe8017c965ab90d51d3cf3061d05a6
Undo part of previous change, in case it makes command line too long
ChangeLog
Makefile.in